منابع مشابه
On Maltsev Digraphs
We study digraphs preserved by a Maltsev operation: Maltsev digraphs. We show that these digraphs retract either onto a directed path or to the disjoint union of directed cycles, showing in this way that the constraint satisfaction problem for Maltsev digraphs is in logspace, L. We then generalize results from Kazda (2011) to show that a Maltsev digraph is preserved not only by a majority opera...
متن کاملMaltsev digraphs have a majority polymorphism
We prove that when a digraph G has a Maltsev polymorphism, then G also has a ma jority polymorphism. We consider the consequences of this result for the structure of Maltsev digraphs and the complexity of the Constraint Satisfaction Problem.
متن کاملMaltsev on Top
Let A be an idempotent algebra, α ∈ ConA such that A/α has few subpowers, and m be a fixed natural number. There is a polynomial time algorithm that can transform any constraint satisfaction problem over A with relations of arity at most m into an equivalent problem which is m consistent and in which each domain is inside an α block. Consequently if the induced algebras on the blocks of α gener...
متن کاملOn the Complexity of Some Maltsev Conditions
This paper studies the complexity of determining if a finite algebra generates a variety that satisfies various Maltsev conditions, such as congruence distributivity or modularity. For idempotent algebras we show that there are polynomial time algorithms to test for these conditions but that in general these problems are EXPTIME complete. In addition, we provide sharp bounds in terms of the siz...
متن کاملMaltsev Families of Varieties Closed under Join or Maltsev Product
Maltsev families of varieties which are closed under join or Maltsev product are investigated. New Maltsev conditions for congruence semi-distributivity are given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2015
ISSN: 1077-8926
DOI: 10.37236/4419